[foo<(* "" *)int>]